 |
Your search returned 7 records. Click on the hyperlinks to view further details of Titles.. |
|
Magazine Name : Ieee Transactions On Software Engineering
|
Year : 1992 Volume number : 18 Issue: 08 |
Working With Persistent Objects To Swizzle Or Not To Swizzle
(Article)
Subject:
Object Store
,
Performance Measurement
,
Work Session
Author:
J. Eliot
B.Moss
page:
657
-
673
Fundamentals Of Deductive Program Synthesis
(Article)
Subject:
Automated Deduction
,
Deductive Databases
,
Specification
Author:
Richard
Waldinger
Zohar
Manna
page:
674
-
704
Querying Of Executable Software Specifications
(Article)
Subject:
Behavior Inspection
,
Executable Spections
,
State Transition Analysis
Author:
Giancarlo
Nota
Giuliano
Pacini
page:
705
-
716
Pie A Dynamic Failure-Based Technique
(Article)
Subject:
Data Standards
,
Software Testing
,
Testability
Author:
Jeffrey M.
Voas
page:
717
-
727
Computer Aided Analysis And Derivation For Artificial Neural Systems
(Article)
Subject:
Ca System
,
Computer Aided Analysis
,
Symbolic Computation
,
Liapunov
Author:
Dong-Min
Wang
Bernd
Schurmann
page:
728
-
735
Dynamic Scheduling Of Hard Real-Time Tasks And Real-Time Threads
(Article)
Subject:
Analytical Modeling
,
Performance Analysis
,
Deadline
Author:
Karsten
Schwan
Hongyi
Zhou
page:
736
-
748
Detecting Unsafe Error Recovery Schedules
(Article)
Subject:
Asynchronous Systems
,
Consistency
,
Timing
,
Safety
Author:
Robyn R.
Lutz
Johnny Kwok Wai
Wong
page:
749
-
760
|
|
| | |
